（来源：上观新闻）
论文不是👨💻🦚目标，而是副产品🍺👯。按这样计🧣算，每天 10–🚙28人/👨👨👧👧🎞小时的纯审查🐳工作量👩🦲。文|凯🌈🤚风 泛亚铁路🤹♂️🛎网，呼之欲出🌂🧼。要么冲上去，要么5️⃣等着被重新🇺🇿😮定义☮。图丨基🇬🇵🗂于自然语言的🇬🇦⏏代码正确性推理💂♀️😲示例（来源🚮：arXiv）🤯🥓 如上㊗图所示，F🌌🇫🇯M-Agent 🇦🇺逐段推理代码🍼执行后🇸🇾的程序状态描🇲🇵👨🦲述（注释部分🌩），即后置条件，🚜🇨🇮一直推理到函数🐤🏪返回，检⏏🦗查最终🈚的程序状态描述是㊙♉否违背了规约里🇳🇱*️⃣对最终程😺序状态的👮🛥要求🎚♿。
而是先回答一个🇨🇼更残酷4️⃣的问题😌： 谁能🧞♀️先把自己的火箭👍，从技术奇🌜观，做成运❤🧶输工具？ 谁🧐先做到🦌✏这一步，谁才真🧗♂️的有资格坐下一轮🐇的牌桌💩。传统分工的🍡👰优势在🇱🇻于清晰：你🐨⛸是前端，你是后端👯，你是 QA，职👩🎤责明确，考核方式↩🐊也明确😟🐌。
